Formalisation of Bayesian concealment
نویسندگان
چکیده
Abstract In order to assure the concealment by cryptographic protocols, it is an effective measure prove in a formal logical system. contemporary context of protocol, has be proved using probability theory. There are several concepts One them Bayesian concealment. This study proposes system secret sharing scheme.
منابع مشابه
A Bayesian approach to error concealment in encoded video streams
In ATM networks cell loss causes data to be dropped in the channel. When digital video is transmitted over these networks one must be able to reconstruct the missing data so that the impact of these errors is minimized. In this paper we describe a Bayesian approach to conceal these errors. Assuming that the digital video has been encoded using the MPEG1 or MPEG2 compression scheme, each frame i...
متن کاملFormalisation of FunLoft
We formalise a thread-based concurrent language which makes resource control possible. Concurrency is based on a two-level model: threads are executed cooperatively when linked to a scheduler, and unlinked threads and schedulers are executed preemptively, under the control of the OS. We present a type and effect system to enforce a logical separation of the memory which ensures that (1) when ru...
متن کاملFormalisation of Haskell refactorings
Refactoring is a technique for improving the design of existing programs without changing their external behaviour. HaRe is the refactoring tool we have built to support refactoring Haskell 98 programs. Along with the development of HaRe, we have also investigated the formal specification and proof of validity of refactorings. This formalisation process helps to clarify the meaning of refactori...
متن کاملThe Formalisation of Physics
This document provides an example illustrating a method of formalising physical theories, together with a discussion of some aspects of semantic positivism. Created 2004/07/15 Last Change Date: 2009-05-21 08:59:45 http://www.rbjones.com/rbjpub/pp/doc/t002.pdf Id: t002.doc,v 1.7 2009-05-21 08:59:45 rbj Exp c © Roger Bishop Jones; Licenced under Gnu LGPL
متن کاملJames is polite and punctual (and useless): A Bayesian formalisation of faint praise
“Damned by faint praise” is the phenomenon whereby weak positive information leads to a negative change in belief. This seemingly conflicts with normative Bayesian predictions, which prescribe that positive information should only exert a positive change in belief. We argue that the negative belief change is due to an inference from critical missing evidence; that is, an implicit argument from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Japan Journal of Industrial and Applied Mathematics
سال: 2021
ISSN: ['0916-7005', '1868-937X']
DOI: https://doi.org/10.1007/s13160-021-00458-y